⚖️ Inference Rules - abnv · Scour

Large Language Model for OWL Proofs

arxiv.org·14h

📜Proof Languages

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·1d

📜Proof Languages

Designing Boring Software with Functional Programming

agentultra.com·16h

🪞Homoiconicity

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·2h·

Discuss: Hacker News

🪢Rope Data Structures

🔬 Research-Grade Context Engineering This material represents high-performance prompt research results designed based on Advanced Logical Architectures. 📜 Ma...

freederia.com·1d

🎭Program Synthesis

Use of Assertions

blog.regehr.org·4h

🔍Static Analysis

Calculus Made Easy

calculusmadeeasy.org·4h

Kolmogorov Complexity

en.wikipedia.org·7h·

Discuss: Hacker News

λLambda Calculus

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·18h·

Discuss: Substack

🏛️Elm Architecture

Reasoning is a Modality

arxiv.org·14h

✅Type Checking

Postmortem on TreeTracker Join: Simple, Optimal, Fast

zhu45.org·1d·

Discuss: Hacker News

🌳Tree Algorithms

From logical reasoning to code in C and PHP

dev.to·8h·

Discuss: DEV

Alexis King’s Blog

lexi-lambda.github.io·1d

🗂️Type Indexing

Focus on ‘Don’ts’ to build systems that know when to say ‘No’

thenewstack.io·3h

🛡️Error Boundaries

Simplex, a workflow specification language for autonomous agents

github.com·22h·

Discuss: Hacker News

🎭Program Synthesis

Subterms Modulo Theories I

philipzucker.com·2d

🔗Lexical Scoping

GNU C Language Manual

gnu.org·32s

🪄C Metaprogramming

ChatGPT’s Laws of Machine Learning

shruggingface.com·16h

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

🪜Recursive Descent

Amazon shopping automation without vision: verification gate+local model (3B)

news.ycombinator.com·4h·

Discuss: Hacker News

🏰Capability Machines

Loading more...